Auto merge of #3057 - rjgoldsborough:add-policies, r=steveklabnik
authorbors <bors@rust-lang.org>
Wed, 28 Sep 2016 00:50:27 +0000 (17:50 -0700)
committerGitHub <noreply@github.com>
Wed, 28 Sep 2016 00:50:27 +0000 (17:50 -0700)
adding policies page to the docs

Fixes #3056

1  2 
Makefile.in

diff --cc Makefile.in
Simple merge